Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
231	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
232	A Logic of Belief and Omission Hans van Ditmarsch∗ Department of Logic University of Sevilla Sevilla, Spain Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:13:55 Logical syntax Modal logic Philosophical logic Epistemic modal logic Constructible universe Proposition Doxastic logic Vacuous truth Function Logic Mathematical logic Propositional calculus
233	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic
234	Decidability of trace equivalence for protocols with nonces R´emy Chr´etien∗ † , V´eronique Cortier∗ , and St´ephanie Delaune † Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:43:13 Modal logic Metalogic Model theory Symbol
235	TASK THINKING AND REASONING, 1998, 4 (3),SELECTION 193– Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:17:00 Mind Abstraction Wason selection task Intelligence Cognitive science Fluid and crystallized intelligence Heuristic Modal logic SAT Cognition Educational psychology Logic
236	COXETER-KNUTH GRAPHS AND A SIGNED LITTLE MAP FOR TYPE B REDUCED WORDS SARA BILLEY, ZACHARY HAMAKER, AUSTIN ROBERTS AND BENJAMIN YOUNG Abstract. We define an analog of David Little’s algorithm for reduced words in type Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-09-15 19:11:10 Symmetric functions Algebraic combinatorics Coxeter group Graph theory Representation theory Young tableau Harold Scott MacDonald Coxeter Littlewood–Richardson rule Modal logic Abstract algebra Mathematics Algebra
237	Awareness and forgetting of facts and agents Hans van Ditmarsch Fac. Philosophy, Dep. Logic University of Sevilla Sevilla, Spain Email: Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:16:22 Modal logic Theoretical computer science Philosophical logic Bisimulation Logic in computer science Epistemic modal logic Common knowledge Partition If and only if Mathematics Logic Mathematical logic
238	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
239	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
240	Tuesday June 9th, :00-10:10 Reception 10:10-10:30 Add to Reading List Source URL: ttl2015.irisa.fr Language: English - Date: 2015-05-07 02:45:30 Deduction Abstraction Axiology Leon Henkin First-order logic Modal logic Natural deduction Logic Mathematical logic Philosophical logic

UPDATE